document.write (" 7412 ");