document.write (" 19372 ");