document.write (" 7238 ");