document.write (7255);