document.write (" 12301 ");