document.write (" 19472 ");