document.write (" 19422 ");