document.write (" 5419 ");