document.write (" 12428 ");