document.write (" 5227 ");