document.write (" 12116 ");