baber/WOPTO huggingface dataset:
Patent KR-20070090676-A (KR)
Title: Clothes dryer using superheated vapor and its operation method
Inventor: JOUNG JAE HAK
IPC: D06F58/20
Filed: 2006-03-03
Abstract: A laundry dryer using overheated steam and a method for controlling a dry course are provided to perform the dry stroke more efficiently by using overheated steam and to reduce energy consumption by recycling heat energy contained in overheated steam. A laundry dryer(100) comprises a dry drum(110), a overheated steam generating unit(112), a circulation unit(114), and a heat exchanging unit(116). The dry drum stores the laundry to be dried. The overheated steam generating unit supplies hot steam to the dry drum. The circulation unit circulates hot steam. The heat exchanging unit recycles the heat included in hot steam. The hot steam is used as a dry media to dry the laundry received in the dry drum.
Patent KR-20060096941-A (KR)
Inventor: KIMURA KAZUNOBU
IPC: H04W4/00
Filed: 2006-03-08
Abstract: 하나의 통신 단말이, 다른 통신 단말과의 사이에서, 상기 하나의 통신 단말이 수신한 방송 콘텐츠나 방송 이용 제약 정보 등의 방송 데이터에 관한 정보를 공유할 수 있는 통신 단말을 제공한다.  통신 단말인 휴대단말(101)에 있어서는, 방송 데이터 수신부(201)가, 방송 데이터 이용을 제약하는 이용 제약 정보가 첨부된 방송 데이터를 수신하고, 콘텐츠 관리부(210)가, 상기 이용 제약 정보에 기초하여, 다른 통신 단말에 상기 방송 데이터를 전송하는 가부를 관리하고, 콘텐츠 송수신부(221)가, 상기 콘텐츠 관리부(210)의 관리에 따라, 상기 방송 데이터를 다른 통신 단말에 송신한다. 
       
     휴대 단말, TV 전화, 방송 콘텐츠, 이용 제약, 공유
Patent KR-20070095105-A (KR)
Title: Power transmit device
Inventor: CHUNG SUK JAE
IPC: F16D41/064
Filed: 2006-03-20
Abstract: A power transmission device is provided to install a pulley and a one-way clutch with the compact structure by mounting the one-way clutch in a hub and assembling the hub with the pulley by a connecting member, and to protect an engine by shutting off power transmission with a fracture part at excessive torque. A compressor(10) is operated by rotating a driving shaft(11), and driven by a pulley unit(20) receiving driving force from an engine or a motor unit(30) receiving driving force from a battery. The pulley unit comprises a pulley member(21) inserting a bearing in a rotor unit, a hub(22) transmitting power from the pulley member to the driving shaft, a one-way clutch(22a) installed in the hub to shut off power from the driving shaft, and a connecting member(23) connecting the hub to the pulley member. The driving shaft is spline-combined with the hub, and a fracture part(23c) is formed in the connecting member to shut off power at abnormal torque of the compressor.
Patent KR-20060103239-A (KR)
Inventor: KOMATSU KENICHI
IPC: H04M1/72412
Filed: 2006-03-24
Abstract: 본 발명에서는, 가시광 통신 검증을 위한 장치 시스템 및 그 방법이 제공된다.  본 발명의 시스템은, 소정 횟수 반복하여 방출되는 색 패턴을 갖는 가시광 신호를 방출하는 발광 회로 및 발광 회로를 제어하며 반복 동안 패턴 주기를 점차 길게 변경하는 제어기를 포함하는, 이동 단말기를 포함한다.  또한, 본 발명의 시스템은, 소정 횟수 동안 반복하여 방출되는 색 패턴을 갖는 가시광 신호를 방출하는 발광 회로 및 발광 회로를 제어하며 각 색 패턴 반복 동안 색 패턴 주기를 점차 증가시키는 제어기를 포함하는, 인증 장치를 포함한다. 
       
     가시광, 통신, 검증, 인증, 발광 회로
Patent KR-20070097989-A (KR)
Title: Joining structure of rubber stopper
Inventor: YOO BYOUNG IL
IPC: F16F15/08
Filed: 2006-03-30
Abstract: A joining structure of a rubber is provided to employ a locking protrusion part, a fixing stud, a through hole, and a fixing hole so that a superior assembly property is obtained. A joining structure includes a rubber stopper(R) and a vehicle panel(P). The rubber stopper(R) includes a hook unit(60) in the lower portion of a body unit. The rubber stopper(R) has at least one fixed protrusion in a body unit direction in the upper portion of the hook unit. The vehicle panel includes a hole through which the hook unit(60) of the rubber stopper(R) passes. The vehicle panel includes a fixing hole into which the fixing stud is inserted. The hook unit includes a coupling part and a locking protrusion part. The coupling pat is coupled to the body unit and has a diameter smaller than the diameter of a lower end of the body unit. The locking protrusion is connected to the lower portion of the coupling part. The locking protrusion has a protrusion at the upper end.
Patent KR-20070099289-A (KR)
Title: Apparatus and method for controlling scroll speed of a screen in a car navigation system
Inventor: LEE SOO SEAN
IPC: G08G1/0962
Filed: 2006-04-04
Abstract: An apparatus and a method for controlling scroll speed in a screen of a car navigation system are provided to enhance user convenience by controlling the scroll speed based on a screen position and the amount of touching time. An apparatus for controlling scroll speed in a screen of a car navigation system includes a display unit(129) and a controller(123). The display unit displays road information according to a predetermined control. The controller controls scroll speed in the screen of the display unit to correspond a screen position having road information, which is displayed on the display unit, and the amount of touching time.
Patent KR-20070099716-A (KR)
Title: Manufacturing method for magnesium oxide using powder coating
Inventor: PARK SUNG JUN
IPC: C04B41/45
Filed: 2006-04-05
Abstract: A method for manufacturing a magnesium oxide board using powder paint is provided to form a beautiful surface and facilitate coating of powder paint by polishing the surface of the board and prevent twisting and thermal deformation of the board by performing two cooling steps. A method for manufacturing a magnesium oxide board using powder paint includes the steps of: (S10) polishing the surface of a magnesium oxide board to form a smooth surface; (S20) dipping the surface-polished magnesium oxide board into water so as to prevent thermal deformation; (S30) ejecting compressed air to remove water remaining on the surface of the magnesium oxide board; (S40) spraying powder-shaped fine powder paint onto the surface of the magnesium oxide board; (S50) applying far infrared heat of 100-200°C to the surface of magnesium oxide board for 5-20minutes and melting the fine powder paint to form a paint layer on the surface of the magnesium oxide board; (S60) cooling the magnesium oxide board using a cooling unit so as to prevent deformation; and (S70) drying the magnesium oxide board.
Patent KR-20060107333-A (KR)
Inventor: NISHIDA TAKEHIRO
IPC: H01S5/40
Filed: 2006-04-05
Abstract: 복수의 발광점을 가지는 반도체 레이저장치에 있어서, 발광점에 걸리는 스트레스는 칩 중심으로부터 발광점까지의 거리에 따라 바뀌며, 칩 중심으로부터 멀어짐에 따라서 커지지만, 각 발광점의 간격에는 사용하는 파장대에 의해 제한이 존재하므로, 모든 발광점을 칩 중심부근에 배치할 수는 없다. 본 발명에 따른 반도체 레이저장치는, 2개 이상의 발광점을 가지는 반도체 레이저장치에 있어서, 상기 발광점 마다 심플 릿지 스트라이프구조를 가지고, 상기 2개 이상의 발광점 중 적어도 하나의 발광점을, 기판의 폭방향의 중심으로부터 상기 기판의 폭에 대하여 0％이상 15％이하의 위치에 배치했다. 
       
     발광점, 스트레스, 심플 릿지 스트라이프구조, 반도체 레이저 장치
Patent KR-20070100448-A (KR)
Title: Device for printing electronic certificate and discharging the same
Inventor: JUN JUNG WOO
IPC: G06Q50/26
Filed: 2006-04-07
Abstract: A device for printing and discharging an electronic certificate is provided to reduce malfunction operation possibility without mounting a mechanical device for sealing by printing the authentication information on the certificate from an authentication server. An input part(11) receives information necessary for receiving the certificate from a user. A communication interface part(17) receives the information necessary for printing the certificate, and receives the authentication information from the authentication server. An information processing part(15) processes the information transferred to the communication interface part, and the information received by the communication interface part. A printing part(12) prints the certificate, and an indirect paying part(13) is connected with a paying relay server by on-line. A feeding part(14) feeds the certificate. The information processing part changes the authentication information into the printable type on the certificate.
Patent KR-20060080137-A (KR)
Inventor: LEE YONG WOO
IPC: C02F3/06
Filed: 2006-04-07
Abstract: 본 발명은 호기성 미생물인 박테리아와 원생동물로 처리수에 포함된 질소, 인 등 유해한 유기화합물을 처리하는 호기성 생물학적 처리장치에 있어서, 상기 질소, 인 등 유해한 유기화합물이 포함된 처리수에 미생물 배양을 활성화시키고 서식하기 좋은 수질을 만들기 위하여 산소 발생기를 통해 공급되는 산소를 공기 조절 밸브에 의한 공기부양으로 처리수에 충분한 산소를 공급하는 제1미생물 활성조와, 제2미생물 활성조와, 제3미생물 활성조로 구성된 1차 미생물 활성부와, 상기 1차 미생물 활성부의 제3미생물 활성조에 처리수를 이송펌프에 의해 공급받아 상단에서 하단으로 자연압을 통해 서서히 분무하여 미생물이 유기화합물을 처리할 수 있도록 하는 미생물 활성 분무부를 포함하는 미생물 활성탑과, 상기 미생물 활성탑에 의해 유기화합물 처리를 한 처리수를 공급받아 공기 조절 밸브에 의해 산소를 공급하는 제4미생물 활성조와, 제5미생물 활성조와, 제6미생물 활성조로 구성된 2차 미생물 활성부와, 상기 2차 미생물 활성부에서 산소를 공급한 처리수를 공급받아 자갈, 모래, 분쇄자철광, 석류석 등의 여과제를 사용하여 상기 처리수에 생성된 박테리아와 미생물, 부유물질을 제거하도록 하는 여과조와, 상기 여과조에서 박테리아와 미생물, 부유물질을 제거한 처리수를 공급받아 양이온으로 하전된 이온을 수소 이온으로 교환하여 중금속을 제거하고 암모늄을 제거하여 냄새를 제거하고, 귀금속을 회수하는 이온 교환부와, 상기 이온 교환부에서 중금속을 제거하고 암모늄을 제거하여 냄새를 제거한 처리수에 미생물의 서식을 방지하도록 생화학적 산소요구량을 강 한 공기 부양으로 낮게 형성하도록 하는 공기 부양조와, 상기 공기 부양조를 거친 처리수를 방류하도록 형성하는 방류조를 포함하여 이루어지는 호기성 생물학적 처리장치를 제공한다.  
       
     1차 미생물 활성부, 미생물 활성탑, 2차 미생물 활성부, 여과조, 이온교환부, 공기 부양조, 방류조
Patent KR-20070061024-A (KR)
Title: System and method for context-aware service
Inventor: YOON SEONG IM
IPC: H04W4/00
Filed: 2006-04-13
Abstract: A context-awareness service system and method are provided to discover a context-awareness service most suitable for the current state or circumferences of a user and provide it to the user by generating a search query based on user state information. A service storage unit(230) stores service contents. A search query managing unit(244) generates a search query for searching service contents corresponding to state information received from a mobile terminal. A search managing unit(242) searches service contents matched with the search query among the service contents stored in the service storage unit(230). A situation information managing unit(220) re-configures the searched service contents in a service format supported by the mobile terminal. A service controller(210) transmits the re-configured service contents to the mobile terminal.
Patent KR-20070105482-A (KR)
Title: Oil jack
Inventor: KIM YONG KOO
IPC: B66F3/42
Filed: 2006-04-26
Abstract: An oil jack is provided to control the excessive inflow of hydraulic pressure into a cylinder chamber by overflowing the extra hydraulic pressure to an oil storage chamber, preventing over ascending of a ram. An oil jack(1) comprises a cylinder(3), an oil tank(4), a ram(5), an oil path(25), and a hydraulic path(23). The cylinder and the oil tank are fixed on a surface of a base plate(2). The ram is capable of moving up and down in a cylinder chamber(31) of the cylinder so as to lift an object. On the base plate, the oil path and the hydraulic path are respectively connected to an oil port(24) on a bottom of an oil storage chamber(41) of the oil tank and a hydraulic port(22) on the bottom of the cylinder chamber, to supply oil stored in the oil storage chamber to the cylinder chamber or return the hydraulic pressure flowed to the cylinder chamber back to the oil storage chamber. On each upper and lower ring groove(33,34) formed on the upper and lower sides around an overflow hole(32) on an upper side of the cylinder, upper and lower O-rings(6a,6b) are elastically contacted on the outer surface of the ram, allowing the ram to reciprocate, with space away from the inner surface of the cylinder, and restricting the leakage of hydraulic pressure. The ram includes a through hole(51) in its center, where a ram support bolt(7) is inserted and fastened to an internal thread hole(21), so as to be positioned in the center of the cylinder chamber, guiding the ascending movement of the ram while controlling the ram to be ascended up to a predetermined height.
Patent KR-20070107518-A (KR)
Title: Making and marketing method of clothes using a internet
Inventor: KIM JEONG SEOG
IPC: G06Q30/06
Filed: 2006-05-03
Abstract: A method for making and selling clothes through an Internet is provided to enable a maker to reduce expense for developing design and quickly reflect the trend of customers to products by receiving the design from customers, and enable the user having no production capital/equipment to make/sell the clothes by providing idea of the user to the maker. A database for designing the clothes is provided through a network(S100). Design information is received from the user connected through the network by using the database(S200). The design information is provided to the user(S300). A sample making request is received from the user(S400). The design information is provided to the maker(S500). Product information for the completed product is received from the maker(S600). The product information is provided to the customers(S700). Purchase information of the customer is provided to the user and the maker(S900). The database stores information for clothe types, fabrics, colors, partial designs, or decorations.
Patent KR-20060059942-A (KR)
Title: New process for preparing 4-aminomethyl-3-alkoxyiminopyrrolidine methanesulphonate
Inventor: HWANG GYO HYUN
IPC: C07D207/22
Filed: 2006-05-11
Abstract: The present invention relates to a process for the preparation of 4-aminomethyl-3-alkoxyiminopyrrolidine methanesulfonate, a key intermediate of quinolone antibiotics. According to the process of the present invention, the total number of steps has been shortened to 2-3 steps, the solid separation is not required, and the use of costly chemicals, particularly (BOC)2O (t-butoxycarbonyl anhydride), several organic solvents and reactants, is eliminated.
Patent KR-20060121753-A (KR)
Title: Positioning system, information providing apparatus, terminal apparatus, control method of terminal apparatus, and computer readable recording medium having recorded therein control program of terminal apparatus
Inventor: KIMURA AKIRA
IPC: G04R20/00
Filed: 2006-05-24
Abstract: A positioning system, an information service device, a terminal device, a controlling method of the terminal device, and a computer readable recording medium for storing a control program of the terminal device are provided to enable the terminal device to obtain time information of high time precision, even with no need to have dedicated hardware for receiving standard propagation or an exact clock. A terminal device(50) comprises the followings. An inter-event clock number information generator generates inter-event clock number information indicative of the number of clocks between reception of external events and generation of internal events. A time difference information generator generates time difference information indicative of time between the reception of the external events and the generation of the internal events, based on the inter-event clock number information. An internal time information generator generates internal time information indicative of generation time of the internal events, based on transmission time information and the time difference information.
Patent KR-20070118461-A (KR)
Title: Probe device
Inventor: KIM HYUN GYU
IPC: G01R1/073
Filed: 2006-06-12
Abstract: A common probe device is provided to test a common probe device commonly in a visual testing process and a gross testing process testing a display defect of a liquid crystal display panel without using two probe devices. A common probe device(130) includes a plurality of probes. The probe includes a probe body and a first input terminal. The first input terminal is diverged from a first end portion of the probe body. The first input terminal is electrically connected to a visual tester(110) in a visual testing process to allow a first testing signal to be applied from the visual tester. A second input terminal is diverged from the first end portion of the probe body, and separated from the first input terminal with a predetermined distance. The second input terminal is electrically connected to a gross tester(120) in a gross testing process to allow a second testing signal to be applied from the gross tester.
Patent KR-20070061166-A (KR)
Title: Memory address counter and memory control unit for radix-2-square sdf fft
Inventor: CHO HUI RAE
IPC: H04L29/06
Filed: 2006-06-16
Abstract: A method for generating a memory address in an FFT system and a twiddle factor generator using the same are provided to minimize an area of an IC chip and reduce power consumption in an R2^2SDF(Radix-2-square Single-path Delay Feedback) type FFT processor by reducing a memory size for storing twiddle factors. A memory address calculator(200) generates a temporary address value for the second twiddle factor based on the previously generated first twiddle factor, generates a memory address based on the temporary memory address, and outputs a control signal based on the temporary memory address for the second twiddle factor. A twiddle factor storing part(100) stores the second twiddle factor value by corresponding to the memory address of the twiddle factor output from the memory address calculator, and outputs an actual and imaginary number part of the second twiddle factor value to a controller(300). The controller outputs the second twiddle factor value output from the twiddle factor storing part to the system based on a control signal output from the memory address calculator.
Patent KR-20070121309-A (KR)
Title: Stripping compositions for cleaning organic and etched residuies
Inventor: KIM MIN YOUNG
IPC: G03F7/32
Filed: 2006-06-22
Abstract: A composition for removing photoresist is provided to minimize damage to a structure on a substrate, and to form an exact pattern by selectively removing only a photoresist pattern and etching residues from the substrate. A composition for removing photoresist comprises 5-80wt% of an organic solvent, 0.01-20wt% of a fluoride compound, 0.1-30wt% of a combination of an organic acid and a conjugated base thereof, surplus water, and optionally a surfactant. The organic solvent is a combination of at least one selected from cellosolve-based compounds, alcohols, and polar solvents. The fluoride compound is a combination of at least one selected from hydrogen fluoride, ammonium fluoride, ammonium bifluoride, tetramethyl ammonium fluoride, methyldiethanol ammonium fluoride, triethanol ammonium fluoride, diglycol ammonium fluoride, triethylamine tris(hydrogen fluoride), etc.
Patent KR-20080000984-A (KR)
Title: Stocker system
Inventor: YANG YOUNG OH
IPC: B65G49/07
Filed: 2006-06-28
Abstract: A stocker system is provided to sense obstacles or men entering through an obstacle sensing element, thereby preventing safety accident due to collision between the obstacles or the men and a rack master. A stocker system comprises a stocker for keeping a cassette, a rack master, at least one obstacle sensing element(S200), and a stocker controller. The rack master transfers the cassette while reciprocating within the stocker. The obstacle sensing element is disposed at a predetermined position of the stocker. The stocker controller controls the rack master and the obstacle sensing element.
Patent KR-20080001255-A (KR)
Title: Voltage converter and display device having the same
Inventor: LEE YONG SOON
IPC: G09G3/36
Filed: 2006-06-29
Abstract: A voltage converter and a display device having the same are provided to maintain display quality irrespective of the variation of external conditions constant by outputting stable gamma voltages. A voltage converter includes a voltage source converter(410) and a gamma voltage generator(430). The voltage source converter generates analog voltage sources. The gamma voltage generator receives the analog voltage source and generates plural gamma reference voltages. The gamma voltage generator includes a voltage stabilization element, which outputs a stable gamma voltage irrespective of the variation of the analog voltage sources. The gamma voltage generator includes plural distribution resistors, which are series-connected between the analog voltage source and a ground voltage. The voltage stabilization element is connected between the ground voltage and the output stage of distribution resistors whose inputs are connected to the analog voltage sources.
Patent KR-20080006280-A (KR)
Title: Method of evaluating ground thermal conductivity
Inventor: PARK JUN UN
IPC: G06Q50/00
Filed: 2006-07-12
Abstract: A method for evaluating ground thermal conductivity is provided to enable a user to input an evaluation request form and a measurement condition through a dialog window, and evaluate/estimate the ground thermal conductivity precisely with a program by using normal state data after a predetermined time based on measured variables. A measurement interval for evaluating the ground thermal conductivity is set, and an initial ground entrance/exit temperature is measured(S103). An initial ground temperature is measured if the measured initial ground entrance temperature is identical with the measured initial ground exit temperature(S107). A dialog checkbox program is executed, and evaluation items and condition items are inputted(S111). The temperature/voltage of a target is measured and displayed(S113). Heat consumption power, a circulation flow rate, a heat transfer rate from a heater to circulation water, and the average ground entrance/exit temperature are evaluated, and the result is displayed(S115). A period, the average ground entrance/exit temperature, and an average heat transfer rate of a normal state are sorted and displayed in a graph if the period of the average ground entrance/exit temperature satisfies a predetermined condition(S121).
Patent KR-20080008675-A (KR)
Title: A composition comprising novel black ginseng and the extract thereof showing anti-oxidative activity prepared by novel process
Inventor: PARK YONG JIN
IPC: A61K36/258
Filed: 2006-07-20
Abstract: A composition comprising black ginseng and an extract thereof showing excellent antioxidative effect is provided to be used as a pharmaceutical composition or a cosmetic composition for preventing and improving skin diseases caused by oxidative stress. A skin external applying composition for preventing and treating skin diseases caused by oxidative stress comprises black ginseng and an extract thereof obtained by a method comprising the steps of: (a) after washing undried ginseng of 4 to 6-years-roots, drying it at a temperature of 35-55 deg.C for 20-28 hours; (b) steaming the dried ginseng in an earthenware at a temperature of 85-100 deg.C for 5 to 7 hours; (c) drying the steamed ginseng at a temperature of 50-70 deg.C for 9-15 hours; (d) steaming the dried ginseng at a temperature of 95-125 deg.C for 5-7 hours; and (e) drying the ginseng for 12 hours.
Patent KR-20060092172-A (KR)
Inventor: LIM SOO HYOUN
IPC: A23L33/00
Filed: 2006-07-20
Abstract: 오늘날 수많은 가공식품들이 범람하고 있으며 이들 가공식품들을 제조하거나 포장할 때 방부제나 색소등 여러 가지의 인공첨가물이나 유해한 물질들이 가공식품에 많이 함유된다. 우리나라에서도 암의 발생이 지속적으로 증가하는 것은 이러한 가공식품의 섭취증가와 관련있을 것으로 예상된다. 
     본 출원은 오늘날의 사람들이 많이 섭취하게 되는 동물성이나 식물성의 과다한 포화지방, 가공식품류에 많이 함유된 인공색소나 방부제나 인공향료등의 합성화학물질, 과자나 곡물을 오븐등에서 구울 때 생성되는 아크릴아미드 발암가능물질등 이러한 여러가지의 건강유해인자로부터 사람의 건강을 지키는 방안을 강구하기 위한 출원이다. 
     본 출원은 유해화학물질들에 오염된 가공식품류로부터 사람의 건강을 지키기 위한 방안으로 이러한 가공식품류에 녹차나 녹차의 추출물을 적정하게 배합하는 조성물에 관한 출원으로서, 이 가공식품류에 함유된 인체에 유해한 물질의 영향을 녹차를 이용하여 제거 또는 저감시켜 사람의 건강에 기여하고자 출원하였다. 본 출원이 널리 시행되어 특히 어린이들이 좋아하는 식품인 시리얼류의 건강유해성이 감소되어 청소년들의 건강증진에 도움되기를 기대한다. 
     본 출원의 대상인 가공식품은 인스턴트식품중 식사대용의 시리얼류(곡물푸레이크, 초코푸레이크 등의 일상식사대용품류)에 적용한다. 
     녹차는 유독물 해독작용, 고혈압이나 동맥경화 예방, 항염증작용, 항암작용,  살균작용, 정신안정 작용등 다양한 효과가 있다. 본 발명에 따라 녹차가 함유된 가공식품은 녹차잎이나 어린줄기를 원래의 모양대로 또는 먹기 좋을 만큼 적당한 크기로 분쇄하거나 파쇄하여 그대로 가공식품 제조시에 투입하여 제조하거나, 녹차성분을 물이나 식용알코올에 추출한 뒤 이 추출액을 사용하거나 이 추출액의 농축액을 가공식품 제조시에 사용한다. 
     시리얼, 아크릴아미드
Patent KR-20080010593-A (KR)
Title: Control method of drum type washing machine
Inventor: SONG HACK JAI
IPC: D06F33/02
Filed: 2006-07-27
Abstract: A method for regulating water level for each weight of laundry of a front loading washing machine is provided to reduce noise by minimizing drop when washing a small quantity of laundry. A method for regulating water level for each weight of laundry of a front loading washing machine comprises the steps: sensing weight of laundry in a drum(S1); and supplying water with different water levels in accordance with sensed weight of laundry(S3,S7,S10,S13). The sensed weight of laundry is classified with three levels(S2,S6,S9,S12).