document.write (" 12300 ");