document.write (" 5122 ");