document.write (" 19134 ");