document.write (" 12542 ");