document.write (" 7480 ");