UPDATE: sorry..got stiffed by html... I've always assumed that when using the operator <stdin>, whatever is...(my bad)