document.write (" 16312 ");