document.write (" 12134 ");