// JavaScript Document

v=11;
if (navigator.userAgent.indexOf('Mozilla/3') != -1) 
{v=10;}