document.write (" 12427 ");