document.write (" 12117 ");