function printSearchBoxNum()
{
        ns = (document.layers)? true:false;
        ie = (document.all)? true:false;

        if ( navigator.platform.indexOf("Mac") >= 0 )
        {
             if ( ns )
             {
                  document.write('18');
             }
             else if ( ie )
             {
                  document.write('25');
             }
        }
        else
        {
             if ( ns )
             {
                  document.write('16');
             }
             else if ( ie )
             {
                  document.write('18');
             }
             else
             {
                  document.write('16');
             }
        }
}