document.write (" 94442 ");