document.write (" 12400 ");