document.write (" 7472 ");