document.write (" 12378 ");