advice on this little script

[John Salerno]

Ben Cartwright wrote:
> BartlebyScrivener wrote:
>> What about a console beep? How do you add that?
>>
>> rpd
> 
> Just use ASCII code 007 (BEL/BEEP):
> 
>   >>> import sys
>   >>> sys.stdout.write('\007')
> 
> Or if you're on Windows, use the winsound standard module.
> 
> --Ben
> 

I'd prefer to be platform neutral when possible. Is the first option 
that, or does this change depending on OS?