document.write (" 5494 ");