document.write (" 12347 ");