document.write (" 12160 ");