document.write (" 12552 ");