document.write (" 8124 ");