document.write (" 12171 ");