document.write (" 5225 ");