document.write (" 7243 ");