[symbols.gif]