document.write('<font size=-1 color=#ffffff>0.012555 sec.</font>');