document.write (" 7241 ");