document.write (" 5425 ");