30Jul04=======================================================================
1. make sure that // is not converted to / in command lines.
28Jul04=======================================================================
30Jul04=======================================================================
1. make sure that // is not converted to / in command lines.
28Jul04=======================================================================