document.write (" 16112 ");