document.write (" 7240 ");