document.write (" 12302 ");