document.write (" 7440 ");