document.write (" 12480 ");