document.write (" 7492 ");